home *** CD-ROM | disk | FTP | other *** search
/ Enter 2004 January / enter-2004-01.iso / files / maxima-5.9.0.exe / {app} / share / maxima / 5.9.0 / src / mrgmac.lisp < prev    next >
Encoding:
Text File  |  2003-02-09  |  13.7 KB  |  430 lines
  1. ;;; -*-  Mode: Lisp; Package: Maxima; Syntax: Common-Lisp; Base: 10 -*- ;;;;
  2. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  3. ;;;     The data in this file contains enhancments.                    ;;;;;
  4. ;;;                                                                    ;;;;;
  5. ;;;  Copyright (c) 1984,1987 by William Schelter,University of Texas   ;;;;;
  6. ;;;     All rights reserved                                            ;;;;;
  7. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  8. ;;;     (c) Copyright 1980 Massachusetts Institute of Technology         ;;;
  9. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  10.  
  11. (in-package "MAXIMA")
  12. (macsyma-module mrgmac macro)
  13.  
  14. (defun zl-get (sym tag)
  15.   (cond ((symbolp sym) (get sym tag))
  16.     ((consp sym) (getf (cdr sym) tag))))
  17.  
  18. #-LISPM
  19. (DEFMACRO FIX-LM (&rest BODY)
  20.   `(PROGN . ,BODY))
  21.  
  22. #+LISPM
  23. (DEFMACRO FIX-LM (&BODY BODY)
  24.   `(LET ((DEFAULT-CONS-AREA WORKING-STORAGE-AREA))
  25.      . ,BODY))
  26.  
  27.  
  28. ;; The GRAM and DISPLA packages manipulate lists of fixnums, representing
  29. ;; lists of characters.  This syntax facilitates typing them in.
  30. ;; {abc} reads as (#/a #/b #/c), unquoted.
  31.  
  32. (DEFUN CHAR-LIST-SYNTAX-ON ()
  33.   (FIX-LM
  34.     (SETSYNTAX '|{| 'MACRO
  35.            #'(LAMBDA () (DO ((C (TYI) (TYI)) (NL))
  36.                 ((char= #\} C) (NREVERSE NL))
  37.                   (SETQ NL (CONS C NL)))))
  38.     T))
  39.  
  40. (DEFUN CHAR-LIST-SYNTAX-OFF ()
  41.   (FIX-LM nil
  42.     #+(OR MACLISP NIL) (SETSYNTAX '|{| 'MACRO NIL)
  43.     #+Franz   (setsyntax '|{| 2)
  44.     #+LISPM   (SET-SYNTAX-FROM-DESCRIPTION #\{ 'SI:ALPHABETIC)))
  45.  
  46. ;; This sets up the syntax for a simple mode system defined later on
  47. ;; in this file.  As usual, it is poorly documented.
  48.  
  49. #-cl
  50. (DEFUN MODE-SYNTAX-ON ()
  51.   ;; :A:B:C --> (SEL A B C)
  52.   ;; A component selection facility.  :A:B:C is like (C (B A)) in the
  53.   ;; DEFSATRUCT world.
  54.   (FIX-LM
  55.     (SETSYNTAX '|:| 'MACRO
  56.            #'(LAMBDA () (DO ((L (LIST (READ)) (CONS (READ) L)))
  57.                 ((NOT (char= #\: (TYIPEEK))) (CONS 'SEL (NREVERSE L)))
  58.                   (TYI))))
  59.     
  60.     ;; <A B C> --> (SELECTOR A B C)  Used when defining a mode.
  61.     (SETSYNTAX '|<| 'MACRO
  62.            #'(LAMBDA ()
  63.            (COND ((char= #\SPACE (TYIPEEK)) '|<|)
  64.              ((char= #\= (TYIPEEK)) (TYI) '|<=|)
  65.              (T (DO ((S (READ) (READ)) (NL))
  66.                 ((EQ '|>| S) (CONS 'SELECTOR (NREVERSE NL)))
  67.                   (SETQ NL (CONS S NL)))))))
  68.     
  69.     ;; Needed as a single character object.  Used when defining a mode.
  70.     (SETSYNTAX '|>| 'MACRO
  71.            #'(LAMBDA ()
  72.            (COND ((NOT (char= #\= (TYIPEEK))) '|>|)
  73.              (T (TYI) '|>=|))))
  74.     T))
  75.  
  76. #-cl
  77. (DEFUN MODE-SYNTAX-OFF ()
  78.   (FIX-LM
  79.     #+(OR MACLISP NIL) (PROGN (SETSYNTAX '|:| 'MACRO NIL)
  80.                   (SETSYNTAX '|<| 'MACRO NIL)
  81.                   (SETSYNTAX '|>| 'MACRO NIL))
  82.     #+LISPM (PROGN (SI:SET-SYNTAX-BITS #\: '(0 . 23))
  83.            (SET-SYNTAX-FROM-DESCRIPTION #\> 'SI:ALPHABETIC)
  84.            (SET-SYNTAX-FROM-DESCRIPTION #\< 'SI:ALPHABETIC))
  85.     #+Franz (progn (setsyntax '|:| 2)
  86.            (setsyntax '|<| 2)
  87.            (setsyntax '|>| 2))))
  88.  
  89. ;; Loading this file used to turn on the mode syntax.  Its been turned off
  90. ;; now and hopefully no files left rely on it.  Files which want to 
  91. ;; use that syntax should call (MODE-SYNTAX-ON) during read time.
  92.  
  93. #+MACLISP
  94. (DEFUN DEFINE-MACRO (NAME LAMBDA-EXP)
  95.     (PUTPROP NAME LAMBDA-EXP 'MACRO))
  96.  
  97. #+CL
  98. (DEFUN DEFINE-MACRO (NAME LAMBDA-EXP)
  99.   (FIX-LM
  100.     (COND ((SYMBOLP LAMBDA-EXP) (SETQ LAMBDA-EXP (symbol-function LAMBDA-EXP))))
  101.     #-cl(si:record-source-file-name name 'macro)
  102.     #-cl(FSET NAME (CONS 'MACRO LAMBDA-EXP))
  103.     #+cl ;note need two args for cl macro
  104.     (setf (macro-function name) lambda-exp))
  105.     )
  106.  
  107. #+Franz
  108. (defun define-macro (name lambda-exp)
  109.   (putd name `(macro (dummy-arg) (,lambda-exp dummy-arg))))
  110.  
  111. #+NIL
  112. (DEFUN DEFINE-MACRO (NAME LAMBDA-EXP)
  113.   (ADD-MACRO-DEFINITION NAME LAMBDA-EXP))
  114.  
  115. ;; LAMBIND* and PROGB* are identical, similar to LET, but contain an implicit
  116. ;; PROG.  On the Lisp Machine, PROG is extended to provide this capability.
  117.  
  118. (DEFMACRO LAMBIND* (VAR-LIST . BODY) `(LET ,VAR-LIST (PROG NIL . ,BODY)))
  119. (DEFMACRO PROGB* (VAR-LIST . BODY) `(LET ,VAR-LIST (PROG NIL . ,BODY)))
  120.  
  121. (DEFMACRO MAPAND (FUNCTION LIST) 
  122.   `(DO ((L ,LIST (CDR L))) ((NULL L) T)
  123.        (IFN (,FUNCTION (CAR L)) (RETURN NIL))))
  124.  
  125. (DEFMACRO MAPOR (FUNCTION LIST)
  126.   `(DO ((L ,LIST (CDR L))) ((NULL L))
  127.        (IF (FUNCALL ,FUNCTION (CAR L)) (RETURN T))))
  128.  
  129. ;; (MAPLAC #'1+ '(1 2 3)) --> '(2 3 4), but the original list is rplaca'd
  130. ;; rather than a new list being consed up.
  131.  
  132. (DEFMACRO MAPLAC (FUNCTION LIST)
  133.   `(DO ((L ,LIST (CDR L))) ((NULL L)) (RPLACA L (FUNCALL ,FUNCTION (CAR L)))))
  134.  
  135. (defmacro put (a b c) `(putprop ,a ,b ,c))
  136.  
  137. ;(defmacro zl-REM (a b) `(remprop ,a ,b))
  138.  
  139. (DEFMACRO COPYP (L) `(CONS (CAR ,L) (CDR ,L)))
  140. (DEFMACRO COPYL (L) #+NIL `(COPY-LIST ,L) #-NIL `(APPEND ,L NIL))
  141.  
  142. (DEFMACRO ECONS (X Y) `(APPEND ,X (LIST ,Y)))
  143.  
  144. #-Franz 
  145. (progn 'compile
  146.   (DEFMACRO CAAADAR (X) `(CAAADR (CAR ,X)))
  147.   (DEFMACRO CAAADDR (X) `(CAAADR (CDR ,X)))
  148.   (DEFMACRO CAADAAR (X) `(CAADAR (CAR ,X)))
  149.   (DEFMACRO CAADADR (X) `(CAADAR (CDR ,X)))
  150.   (DEFMACRO CADAAAR (X) `(CADAAR (CAR ,X)))
  151.   (DEFMACRO CADADDR (X) `(CADADR (CDR ,X)))
  152.   (DEFMACRO CADDAAR (X) `(CADDAR (CAR ,X)))
  153.   (DEFMACRO CADDDAR (X) `(CADDDR (CAR ,X)))
  154.   (DEFMACRO CDADADR (X) `(CDADAR (CDR ,X)))
  155.   (DEFMACRO CDADDDR (X) `(CDADDR (CDR ,X)))
  156.   (DEFMACRO CDDDDDR (X) `(CDDDDR (CDR ,X))))
  157.  
  158. (DEFMACRO TELL (&REST ARGS) `(DISPLA (LIST '(MTEXT) . ,ARGS)))
  159.  
  160.  
  161.  
  162. (declare-top (SPECIAL NAME BAS MOBJECTS SELECTOR) (*EXPR MODE))
  163.  
  164. (SETQ MOBJECTS NIL)
  165.  
  166. (DEFPROP MODE (C-MODE S-MODE A-MODE) MODE)
  167.  
  168. (DEFMACRO C-MODE (&REST L) `(LIST . ,L))
  169.  
  170. ;(MACRO S-MODE (X)
  171. ;  (COND ((EQ 'C (CADDR X)) `(CAR ,(CADR X)))
  172. ;    ((EQ 'SEL (CADDR X)) `(CADR ,(CADR X)))
  173. ;    ((EQ '_ (CADDR X)) `(CADDR ,(CADR X)))))
  174.  
  175.  
  176. ;(MACRO A-MODE (X)
  177. ;  (COND ((EQ 'C (CADDR X)) `(RPLACA (CADR X) ,(CADDDR X)))
  178. ;    ((EQ 'SEL (CADDR X)) `(RPLACA (CDR ,(CADR X)) ,(CADDDR X)))
  179. ;    ((EQ '_ (CADDR X)) `(RPLACA (CDDR ,(CADR X)) ,(CADDDR X)))))
  180.  
  181. ;(MACRO DEFMODE (X)
  182. ;  (LET ((SELECTOR (MEMQ 'SELECTOR (CDDDDR X))))
  183. ;    (DEFINE-MODE (CADR X) (CADDDR X))
  184. ;    (MAPC 'EVAL (CDDDDR X))
  185. ;    `',(CADR X)))
  186.  
  187. (defMACRO S-MODE (&rest X)
  188.   (setq X (cons ' S-MODE X ))
  189.   (COND ((EQ 'C (CADDR X)) `(CAR ,(CADR X)))
  190.     ((EQ 'SEL (CADDR X)) `(CADR ,(CADR X)))
  191.     ((EQ '_ (CADDR X)) `(CADDR ,(CADR X)))))
  192.  
  193.  
  194. (defMACRO A-MODE (&rest X)
  195.   (setq X (cons ' A-MODE X ))
  196.   (COND ((EQ 'C (CADDR X)) `(RPLACA (CADR X) ,(CADDDR X)))
  197.     ((EQ 'SEL (CADDR X)) `(RPLACA (CDR ,(CADR X)) ,(CADDDR X)))
  198.     ((EQ '_ (CADDR X)) `(RPLACA (CDDR ,(CADR X)) ,(CADDDR X)))))
  199.  
  200. (defMACRO DEFMODE (&rest X)
  201.   (setq X (cons ' DEFMODE X ))
  202.   (LET ((SELECTOR (MEMQ 'SELECTOR (CDDDDR X))))
  203.        ;(setq billy `(DEFINE-MODE ,(CADR X) ,(CADDDR X)))
  204.        
  205.     (DEFINE-MODE (CADR X) (CADDDR X))
  206.     (MAPC 'EVAL (CDDDDR X))
  207.     `',(CADR X)))
  208.  
  209. #+(OR NIL CL)
  210. (DEFUN DEFINE-MODE (NAME DESC &aux #+lispm (default-cons-area working-storage-area))
  211.   
  212.   (PROG (C S A)
  213.     (SETQ
  214.       C (INTERN (FORMAT NIL "C-~A" NAME)) 
  215.       S (INTERN (FORMAT NIL "S-~A" NAME)) 
  216.       A (INTERN (FORMAT NIL "A-~A" NAME)))
  217.      ;(setq silly `    (DEFINE-MACRO ,C ,(DEFC DESC))    )
  218.     (DEFINE-MACRO C (DEFC DESC))
  219.     (DEFINE-MACRO S (DEFS DESC))
  220.     (DEFINE-MACRO A (DEFA DESC))
  221.     (PUT NAME (C-MODE C S A) 'MODE)
  222.     (RETURN NAME)))
  223.  
  224. #-(OR NIL CL)
  225. (DEFUN DEFINE-MODE (NAME DESC)
  226.   (PROG (C S A DUMMY)
  227.     (SETQ DUMMY (EXPLODEC NAME)
  228.       C (IMPLODE (APPEND '(C -) DUMMY))
  229.       S (IMPLODE (APPEND '(S -) DUMMY))
  230.       A (IMPLODE (APPEND '(A -) DUMMY)))
  231.     (DEFINE-MACRO C (DEFC DESC))
  232.     (DEFINE-MACRO S (DEFS DESC))
  233.     (DEFINE-MACRO A (DEFA DESC))
  234.     (PUT NAME (C-MODE C S A) 'MODE)
  235.     (RETURN NAME)))
  236.  
  237.  
  238. (DEFUN DEFC (DESC) (LET ((BAS 'X)) (coerce `(LAMBDA (X &optional env) env
  239.                         ,(DEFC1 DESC)) 'function)))
  240.  
  241. (DEFUN DEFC1 (DESC)
  242.   (COND ((ATOM DESC) (LIST 'QUOTE DESC))
  243.     ((EQ 'SELECTOR (CAR DESC))
  244.      (COND ((NOT (NULL (CDDDR DESC))) (LIST 'QUOTE (CADDDR DESC)))
  245.            (T (SETQ BAS (LIST 'CDR BAS))
  246.           (LIST 'CAR BAS))))
  247.     ((EQ (QUOTE ATOM) (CAR DESC))
  248.      `(LIST 'C-ATOM '',(MAPCAR 'CADR (CDR DESC)) (CONS (QUOTE LIST) (CDR X))))
  249.     ((EQ 'CONS (CAR DESC)) `(LIST 'CONS ,(DEFC1 (CADR DESC)) ,(DEFC1 (CADDR DESC))))
  250.     ((EQ (quote LIST) (CAR DESC))
  251.      (DO ((L (CDR DESC) (CDR L)) (NL))
  252.          ((NULL L) `(LIST (QUOTE LIST) . ,(NREVERSE NL)))
  253.          (SETQ NL (CONS (DEFC1 (CAR L)) NL))))
  254.     ((EQ 'STRUCT (CAR DESC)) (DEFC1 (CONS (QUOTE LIST) (CDR DESC))))
  255.     (T (LIST 'QUOTE DESC))))
  256.  
  257.  
  258. (DEFUN DEFS (DESC)
  259.   (coerce `(LAMBDA (X &optional env)env
  260.        (COND . ,(NREVERSE (DEFS1 DESC '(CADR X) NIL))))'function )) 
  261.  
  262. (DEFUN DEFS1 (DESC BAS RESULT)
  263.   (COND ((ATOM DESC) RESULT)
  264.     ((EQ 'SELECTOR (CAR DESC))
  265.      (PUT (CADR DESC)
  266.           (CONS (CONS NAME (CADDR DESC)) (ZL-GET (CADR DESC) 'MODES))
  267.           'MODES)
  268.      (PUT NAME
  269.           (CONS (CONS (CADR DESC) (CADDR DESC)) (ZL-GET NAME 'SELS))
  270.           'SELS)
  271.      (IF SELECTOR (DEFINE-MACRO (CADR DESC) 'SELECTOR))
  272.      (CONS `((EQ ',(CADR DESC) (CADDR X)) ,BAS) RESULT))
  273.     ((EQ (QUOTE ATOM) (CAR DESC))
  274.      (DO ((L (CDR DESC) (CDR L))) ((NULL L))
  275.          (PUT (CADAR L) (CONS (CONS NAME (CADDAR L))
  276.                   (ZL-GET (CADAR L) 'MODES)) 'MODES)
  277.          (PUT NAME (CONS (CONS (CADAR L) (CADDAR L))
  278.                  (ZL-GET NAME 'SELS)) 'SELS)
  279.          (IF SELECTOR (DEFINE-MACRO (CADAR L) 'SELECTOR)))
  280.      (CONS `((MEMQ (CADDR X) ',(MAPCAR 'CADR (CDR DESC)))
  281.          (LIST 'ZL-GET ,BAS (LIST 'QUOTE (CADDR X))))
  282.            RESULT))
  283.     ((EQ 'CONS (CAR DESC))
  284.      (SETQ RESULT (DEFS1 (CADR DESC) `(LIST 'CAR ,BAS) RESULT))
  285.      (DEFS1 (CADDR DESC) `(LIST 'CDR ,BAS) RESULT))
  286.     ((EQ (QUOTE LIST) (CAR DESC))
  287.      (DO ((L (CDR DESC) (CDR L))) ((NULL L))
  288.          (SETQ RESULT (DEFS1 (CAR L) `(LIST 'CAR ,BAS) RESULT)
  289.            BAS `(LIST 'CDR ,BAS)))
  290.      RESULT)
  291.     ((EQ 'STRUCT (CAR DESC)) (DEFS1 (CONS (QUOTE LIST) (CDR DESC)) BAS RESULT))
  292.     (T RESULT)))
  293.  
  294. (DEFUN DEFA (DESC)
  295.   (coerce `(LAMBDA (X &optional env) env
  296.        (COND . ,(NREVERSE (DEFA1 DESC '(CADR X) NIL NIL)))) 'function))
  297.  
  298. (DEFUN DEFA1 (DESC BAS CDR RESULT)
  299.   (COND ((ATOM DESC) RESULT)
  300.     ((EQ 'SELECTOR (CAR DESC))
  301.      (SETQ BAS (COND ((NOT CDR) `(LIST 'CAR (LIST 'RPLACA ,(CADDR BAS) (CADDDR X))))
  302.              (T `(LIST 'CDR (LIST 'RPLACD ,(CADDR BAS) (CADDDR X))))))
  303.      (CONS `((EQ ',(CADR DESC) (CADDR X)) ,BAS) RESULT))
  304.     ((EQ  (QUOTE ATOM) (CAR DESC))
  305.      (LIST `(T (LIST 'A-ATOM (CADR X) (LIST 'QUOTE (CADDR X)) (CADDDR X)))))
  306.     ((EQ 'CONS (CAR DESC))
  307.      (SETQ RESULT (DEFA1 (CADR DESC) `(LIST 'CAR ,BAS) NIL RESULT))
  308.      (DEFA1 (CADDR DESC) `(LIST 'CDR ,BAS) T RESULT))
  309.     ((EQ (QUOTE LIST) (CAR DESC))
  310.      (DO ((L (CDR DESC) (CDR L))) ((NULL L))
  311.          (SETQ RESULT (DEFA1 (CAR L) `(LIST 'CAR ,BAS) NIL RESULT)
  312.            BAS `(LIST 'CDR ,BAS)))
  313.      RESULT)
  314.     ((EQ 'STRUCT (CAR DESC)) (DEFA1 (CONS (QUOTE LIST) (CDR DESC)) BAS CDR RESULT))
  315.     (T RESULT)))
  316.  
  317.  
  318. (DEFUN MODE (X) (CDR (zl-ASSOC X MOBJECTS)))
  319.  
  320. #-NIL
  321.  
  322. (defmacro modedeclare (&rest l)
  323.   `(modeclare-internal ',l))
  324.  
  325. (defun modedeclare-internal (x)
  326.   (MAPC #'(LAMBDA (L) (MAPC #'(LAMBDA (V) (PUSH (CONS V (CAR L)) MOBJECTS))
  327.                (CDR L)))
  328.     X))
  329.  
  330. ;; Do not make this (ERROR 'NDM-ERR).  It won't work on the Lisp machine.
  331.  
  332. (DEFUN NDM-ERR (X)
  333.   (TERPRI)
  334.   (PRINC "Cannot determine the mode of ") (PRINC X)
  335.   (MAXIMA-ERROR "NDM-ERR"))
  336.  
  337. (DEFUN NSM-ERR (X)
  338.   (TERPRI)
  339.   (PRINC "No such mode as ") (PRINC X)
  340.   (MAXIMA-ERROR "NSM-ERR"))
  341.  
  342. (DEFUN SEL-ERR (B S)
  343.   (TERPRI)
  344.   (TYO #\:) (PRINC B)
  345.   (DO () ((NULL S)) (TYO #\:) (PRINC (CAR S)) (SETQ S (CDR S)))
  346.   (PRINC "is an impossible selection")
  347.   (MAXIMA-ERROR "SEL-ERR"))
  348.  
  349. (DEFUN IA-ERR (X)
  350.   (TERPRI)
  351.   (PRINC "Cannot assign ") (PRINC X)
  352.   (MAXIMA-ERROR "IA-ERR"))
  353.  
  354. (defMACRO SEL (&rest X)
  355.   (setq X (cons ' SEL X ))
  356.   (LET ((S (FSEL (MODE (CADR X)) (CDDR X))))
  357.     (COND ((NULL S) (SEL-ERR (CADR X) (CDDR X)))
  358.       (T (SETQ X (CADR X))
  359.          (DO () ((NULL (CDR S)) X)
  360.          (SETQ X (CONS (CADR (ZL-GET (CAR S) 'MODE)) (RPLACA S X)) S (CDDR S))
  361.          (RPLACD (CDDR X) NIL))))))
  362.  
  363. (DEFUN FSEL (M SELS)    ;;This has a bug in it. 
  364.   (COND ((NULL SELS) (LIST M))
  365.     ((NULL M)
  366.      (DO ((L (ZL-GET (CAR SELS) 'MODES) (CDR L))) ((NULL L))
  367.          (IF (SETQ M (FSEL (CDAR L) (CDR SELS)))
  368.          (RETURN (CONS (CAAR L) (CONS (CAR SELS) M))))))
  369.     ((LET (DUM)
  370.        (IF (SETQ DUM (ASSQ (CAR SELS) (ZL-GET M 'SELS)))
  371.            (CONS M (CONS (CAR SELS) (FSEL (CDR DUM) (CDR SELS)))))))
  372.     (T (DO ((L (ZL-GET M 'SELS) (CDR L)) (DUM)) ((NULL L))
  373.            (IF (SETQ DUM (FSEL (CDAR L) SELS))
  374.            (RETURN (CONS M (CONS (CAAR L) DUM))))))))
  375.  
  376. ;(DEFUN SELECTOR (X &optional env) env
  377. ;  (IF (NULL (CDDR X)) `(SEL ,(CADR X) ,(CAR X))
  378. ;      `(_ (SEL ,(CADR X) ,(CAR X)) ,(CADDR X))))
  379. (DEFUN SELECTOR (X #+cl env) env
  380.   (IF (NULL (CDDR X)) `(SEL ,(CADR X) ,(CAR X))
  381.       `(_ (SEL ,(CADR X) ,(CAR X)) ,(CADDR X))))
  382.  
  383.  
  384. (defMACRO _ (&rest X)
  385.   (setq X (cons ' _ X ))
  386.   `(STO . ,(CDR X)))
  387.  
  388. (defMACRO STO (&rest X)
  389.   (setq X (cons ' STO X ))
  390.   (DO ((L (CDR X) (CDDR L)) (S) (NL))
  391.       ((NULL L) `(PROGN . ,(NREVERSE NL)))
  392.       (COND ((ATOM (CAR L)) (SETQ NL (CONS `(SETQ ,(CAR L) ,(CADR L)) NL)))
  393.         ((AND (EQ 'SEL (CAAR L)) (SETQ S (FSEL (MODE (CADAR L)) (CDDAR L))))
  394.          (SETQ X (CADAR L))
  395.          (DO ((L (CDDR S) (CDDR L))) ((NULL (CDR L)))
  396.          (SETQ X (CONS (CADR (ZL-GET (CAR L) 'MODE)) (RPLACA L X)))
  397.          (RPLACD (CDDR X) NIL))
  398.          (SETQ NL (CONS (LIST (CADDR (ZL-GET (CAR S) 'MODE)) X (CADR S) (CADR L)) NL)))
  399.         (T (IA-ERR (CAR L))))))
  400.  
  401. ;; (C-ATOM '(AGE WEIGHT MARRIED) '(21 130 NIL)) creates a plist-structure
  402. ;; with slot names as properties.  This should use SETPLIST instead
  403. ;; of RPLACD.
  404. ;; None of these functions are needed at compile time.
  405.  
  406. ;; (DEFUN C-ATOM (SELS ARGS)
  407. ;;   (DO ((NL)) ((NULL SELS) (RPLACD (INTERN (GENSYM)) (NREVERSE NL)))
  408. ;;       (IF (CAR ARGS) (SETQ NL (CONS (CAR ARGS) (CONS (CAR SELS) NL))))
  409. ;;       (SETQ SELS (CDR SELS) ARGS (CDR ARGS))))
  410.  
  411. ;; (DEFUN A-ATOM (BAS SEL VAL)
  412. ;;   (COND ((NULL VAL) (REMPROP BAS SEL) NIL)
  413. ;;     (T (PUTPROP BAS VAL SEL))))
  414.  
  415. ;; (DEFUN DSSQ (X L)
  416. ;;   (DO () ((NULL L))
  417. ;;       (COND ((EQ X (CDAR L)) (RETURN (CAR L)))
  418. ;;         (T (SETQ L (CDR L))))))
  419.  
  420.  
  421. (DEFMACRO CONS-EXP (OP . ARGS) `(SIMPLIFY (LIST (LIST ,OP) . ,ARGS)))
  422.  
  423. ;; Local Modes:
  424. ;; Mode: LISP
  425. ;; Comment Col: 40
  426. ;; End:
  427.  
  428.  
  429.  
  430.